منابع مشابه
Réutiliser ou adapter les prouveurs SAT pour l'optimisation booléenne
D’années en années, le succès des approches basées sur SAT dans de nombreux domaines a contribué à la création de solveurs SAT robustes, efficaces, et pensés pour être réutilisables dans des applications tierces. Dans de nombreux cas, ces applications utilisent l’interface incrémentale des prouveurs SAT proposée par Minisat, qui leur permet d’utiliser les solveurs SAT comme des boites noires, c...
متن کاملApproximation Algorithms for Covering Problems in Dense Graphs
ii iii Ces scribes instruits qui vivaient à l'époque qui a suivi les dieux et qui ont annoncé ce qui allait venir, leurs noms sont devenus immortels, quoiqu'ils soient partis, aient achevé leur existence, et que toute leur famille soit ou-bliée. Ils ne se sont pas fait des pyramides de cuivre aux stèles de fer, ils ne savaient pas comment laisser d'héritiers, des enfants qui prononceraient leur...
متن کاملMotifs récursifs : extraction ascendante hiérarchique d'ensembles d'items ou d'évènements pour le résumé de données transactionnelles ou séquentielles
Résumé. Nous proposons une méthode originale pour extraire un résumé compact, représentatif et intelligible des motifs fréquents dans des données transactionnelles ou séquentielles. Notre approche consiste à extraire un nouveau type de motifs que nous appelons motifs récursifs, i.e. des motifs de motifs, à l’aide d’un algorithme hiérarchique agglomératif nommé RepaMiner. Nous générons non pas u...
متن کاملLivre 1.indb
Kotsopoulos J, Librach CL, Lubinski J (2008) Infertility, treatment of infertility, and the risk of breast cancer among women with BRCA1 and BRCA2 mutations: a case-control study. Cancer Causes Control 19: 1111-9 Women with a breast cancer susceptibility gene 1 (BRCA1) or breast cancer susceptibility gene 2 (BRCA2) mutation are at increased risk for developing breast and ovarian cancer. Various...
متن کاملLes Enfants Mongoliens
Mile Herode has written a very readable and straightforward account of mongolism, intended according to the preface for relatives, educationists or medical or social workers dealing with this subject. Her little booklet gives the product of her experience as a social worker. The author is connected with a parents' association known as "Les Papillons Blancs", founded 9 years ago ?n the initiativ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Féeries
سال: 2016
ISSN: 1766-2842,1957-7753
DOI: 10.4000/feeries.1014